Issue309a.agda:6,18-18
Issue309a.agda:6,18: Malformed syntax declaration: syntax must use unique argument names
x<ERROR>
g : D → D
g (d x) = e x
...
